From Process Algebra to Java Code
نویسندگان
چکیده
The Æ -calculus, a new calculus based on the -calculus, is a model for mobile distributed computation. The Æ -calculus can be used to specify applications, in order to reason about their security and correctness properties. The Æ primitives have been been implemented as a Java API. The implementation in Java provides a means of bridging the gap between application specification and implementation.
منابع مشابه
Considering Design Tasks in OO-Software Engineering using Relations and Relation-based Tools
We demonstrate how relational algebra and its mechanization through the object-oriented Java-library Kure, which is based on the software system RelView, can be used to approach practical problems in the design of object-oriented software. The examples we present range from the search of improper code pieces and 3D graphical software design through to the detection of code parts that show desig...
متن کاملCZT Support for Z Extensions
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a var...
متن کاملOn the Expressive Power of K-based Calculi?
We study the expressive power of variants of K, an experimental language with programming primitives for network-aware programming that combines the process algebra approach with the coordination-oriented one. K has proved to be suitable for programming a wide range of distributed applications with agents and code mobility, and has been implemented on the top of a runtime system written...
متن کاملOn the expressive power of KLAIM-based calculi
In this work, we study the expressive power of variants of Klaim, an experimental language with programming primitives for global computing that combines the process algebra approach with the coordination-oriented one. Klaim has proved to be suitable for programming a wide range of distributed applications with agents and code mobility, and has been implemented on the top of a runtime system ba...
متن کاملOn the Expressive Power of Klaim - based Calculi 1 Rocco
In this work, we study the expressive power of variants of Klaim, an experimental language with programming primitives for global computing that combines the process algebra approach with the coordination-oriented one. Klaim has proved to be suitable for programming a wide range of distributed applications with agents and code mobility, and has been implemented on the top of a runtime system ba...
متن کامل